31. モナド・モノイド・圏